Process algebra with conditionals in the presence of epsilon
نویسندگان
چکیده
In a previous paper, we presented several extensions of ACP with conditional expressions, including one with a retrospection operator on conditions to allow for looking back on conditions under which preceding actions have been performed. In this paper, we add a constant for a process that is only capable of terminating successfully to those extensions of ACP, which can be very useful in applications. It happens that in all cases the addition of this constant is unproblematic.
منابع مشابه
ON ($epsilon, epsilon vee q$)-FUZZY IDEALS OF BCI-ALGEBRAS
The aim of this paper is to introduce the notions of ($epsilon, epsilon vee q$)-fuzzy p-ideals, ($epsilon, epsilon vee q$)-fuzzy q-ideals and ($epsilon, epsilon vee q$)-fuzzy a-ideals in BCIalgebras and to investigate some of their properties. Several characterizationtheorems for these generalized fuzzy ideals are proved and the relationshipamong these generalized fuzzy ideals of BCI-algebras i...
متن کاملComprehension of factual, nonfactual, and counterfactual conditionals by Iranian EFL learners
A considerable amount of studies have been established on conditional reasoning supporting mental model theory of propositional reasoning. Mental model theory proposed by Johnson- larid and Byrne is an explanation of someone's thought process about how something occurs in the real world. Conditional reasoning as a kind of reasoning is the way to speak about possibilities or probabilities. The a...
متن کاملNoticing through Input Enhancement:Does it Affect Learning of the Conditionals?
The purpose of the present study was to determine whether noticing through input enhancement had any impact on the acquisition of English conditional sentences in Iranian EFL learners. Two intact classes with 26 female students in each were chosen. A proficiency test administered at the commencement of the study showed that the two groups were homogeneous in terms of their language proficiency....
متن کاملSimple Construction of a Frame which is $epsilon$-nearly Parseval and $epsilon$-nearly Unit Norm
In this paper, we will provide a simple method for starting with a given finite frame for an $n$-dimensional Hilbert space $mathcal{H}_n$ with nonzero elements and producing a frame which is $epsilon$-nearly Parseval and $epsilon$-nearly unit norm. Also, the concept of the $epsilon$-nearly equal frame operators for two given frames is presented. Moreover, we characterize all bounded invertible ...
متن کاملIterating conditionals and symmetric Stone algebras
In the spirit of constructing conditional events from events, there have been several proposals for constructing conditional conditional events from conditional events. There are many procedures for this that are analogous to the construction of conditional events from events, and many possible choices of operations to impose on the resulting sets. It is observed here that the Stone algebra of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1204.3249 شماره
صفحات -
تاریخ انتشار 2005